Galois Covers of Degree p and Semi-stable Reduction of Curves in Equal Characteristic p>0

In this paper we study the semi-stable reduction of Galois covers of degree p above curves over a complete discrete valuation ring of equal characteristic p.</p

Elimination des symétries locales durant la résolution dans les CSPs

Plusieurs approches exploitant l'élimination des symétries dans la résolution des CSPs sont apparues récemment. La grande majorité de ces méthodes exploitent les symétries globales du problème étudié et ne tente pas d'exploiter les symétries locales. Il a été montré que l'élimination des symétries globales peut être utile dans la résolution des CSPs. Mais exploiter uniquement ces symétries peut ne pas suffire pour résoudre des problèmes difficiles contenant de nombreuses symétries locales. En effet, un problème peut avoir peu ou pas du tout de symétries initiales (globales) et devenir très symétrique à certains noeuds durant la recherche. Dans ce papier, nous étudions le principe général de la symétrie sémantique et on définit la symétrie syntaxique qui est une condition suffisante de la symétrie sémantique. Nous montrons comment la symétrie syntaxique est détectée et éliminée localement pour améliorer l'efficacité des méthodes de résolution de CSPs. Les expérimentations confirment que l'exploitation des symétries locales est profitable dans la résolution des CSPs

Étude de la dominance dans les CSPs à contraintes de différence

La détection dynamique et l'élimination des valeurs symétriques dans les CSPs quelconques est en générale une tâche difficile, mais dans le cas des CSPs à contraintes de différence (NECSPs) , les conditions de symétrie peuvent être simplifiées. Dans cet article, nous étendons le principe de la symétrie à la dominance dans le cas des CSPs à contraintes de différence et nous montrons comment les valeurs dominées sont détectées et éliminées efficacement à chaque noeuds de l'arbre de recherche. Nous proposons un algorithme de détection de valeurs dominées de complexité linéaire. Nous avons implémenté cet algorithme dans un Forward Checking adapté au cas des CSPs à contraintes de différence. Nous avons comparé cette méthode à la méthode DSATUR sur deux classes de problèmes de coloration de graphes : les aléatoires ainsi que sur des instances issues du challenge de DIMACS. Les résultats montrent que notre méthode est en générale la plus performante

Small Farmers in Mountainous and Forested Hinterlands. Contexts, Constraints and Strategies

For centuries, small farmers (SFs) have made their living in the mountainous and forested areas of the Mediterranean hinterland, away from centres of power. These places have historically been places of refuge for the populations driven out from the plains – the excluded, the damned and the rebellious looking for means to subsist and resist (Braudel, 1966, Debarbieux, 2001). Nowadays, the SFs in the mountains and the forests, which have become more mixed and gradually more part of national en..

Biología reproductiva de Mustelus punctulatus (Risso, 1826) (Condrictios: Triakidae) del Golfo de Gabès, Mediterráneo central

Specimens of Mustelus punctulatus were collected between January 2002 and December 2005 from commercial fisheries in the Gulf of Gabès (central Mediterranean Sea). Males and females reached a maximum total length (TL) of 111 and 122 cm respectively. Males matured between 76 and 88.5 cm TL, with a size at maturity (TL50) of 81.4 cm TL. Females matured between 88 and 100 cm TL with a TL50 of 95.6 cm. Females had an annual reproductive cycle. Mating occurred through late-May and June. Ovulation occurred from early July to mid-August with parturition occurring from mid-May to early June, after a gestation period of 11 months. The size at birth was estimated to be 24.5 to 30.5 cm TL. Positive linear relationships were detected between the TL of mature females and ovarian and uterine fecundities. Mustelus punctulatus is an opportunistic predator that consumes a wide range of demersal and benthic prey items. It preys mainly on crustaceans, teleosts and molluscs. Polychaetes, sipunculids, echinoderms and tunicates are also consumed. The species change their main food item as they grow, from crustaceans to teleosts then to molluscs.Entre enero de 2002 y diciembre de 2005 se recolectaron ejemplares de Mustelus punctulatus, a partir de las pesquerías comerciales del Golfo de Gabès (Mediterráneo central). Los machos y las hembras alcanzaron una longitud total (LT) de 111 y 122 cm, respectivamente. Los machos maduran entre 76 y 88.5 cm LT, con una talla de primera madurez (LT50) de 81.4 cm. Las hembras maduran entre 88 y 100 cm de LT, con una LT50 de 95.6 cm. Las hembras tuvieron un ciclo reproductivo anual. El apareamiento tiene lugar desde finales de mayo y a lo largo de junio. La ovulación ocurre desde principios de julio hasta mediados de agosto y el parto desde mitad de mayo hasta principios de junio, después de un periodo de gestación de 11 meses. La talla de nacimiento se estimó en 24.5-30.5 cm LT. Se detectó una relación lineal positiva entre la LT de las hembras maduras y la fecundidad ovárica y uterina. Mustelus punctulatus es un depredador oportunista, que consume un amplio rango de presas bentónicas y demersales. Se alimenta principalmente de crustáceos, teleósteos y moluscos. También consume poliquetos, sipuncúlidos, equinodermos y tunicados. Al crecer, la especie cambia su principal alimento, de crustáceos a teleósteos y posteriormente, moluscos

Amélioration de l'apprentissage des clauses par symétrie dans les solveurs SAT

National audienceLe problème de satisfiabilité (SAT) est le premier problème de décision à avoir été montré NP-complet. Il est central en théorie de la complexité. Une for- mule mise sous forme CNF contient un nombre inté- ressant de symétries. En d'autres termes, la formule reste invariante si l'on permute quelques variables. De telles permutations sont les symétries de la formule et leurs éliminations peuvent conduire à une preuve plus courte pour la satisfiabilité. D'autre part, de nom- breuses améliorations ont été apportées dans les sol- veurs actuels. Les solveurs de type CDCL sont aujour- d'hui capables de résoudre de manière efficace des problèmes industriels de très grande taille (en nombre de variables et de clauses). Ces derniers utilisent des structures de données paresseuses, des politiques de redémarrage et apprennent de nouvelles clauses à chaque échec au cours de la recherche. Bien que l'uti- lisation des symétries et l'apprentissage de clauses s'avèrent être des principes puissants, la combinai- son des deux n'a encore jamais été exploitée. Dans cet article, nous allons montrer comment la symétrie peut être utilisée afin d'améliorer l'apprentissage dans des solveurs de type CDCL. Nous avons mis en ap- plication l'apprentissage par symétries dans MiniSat et nous l'avons expérimenté sur différents problèmes. Nous avons comparé MiniSat avec et sans apprentis- sage par symétries. Les résultats obtenus sont très en- courageants et montrent que l'utilisation des symétries dans l'apprentissage est profitable pour des solveurs à base de CDCL

Polissage du granit : qualité, émission et dispersion des poussières et moyens de contrôle à la source

La présente thèse fait partie d’un large projet de collaboration entre l’IRSST, l’ÉTS et polytechnique de Montréal. Ce projet vise à comprendre les mécanismes de génération et de dispersion des particules émises lors du polissage manuel des granits afin de mieux les contrôler, en agissant, sur le procédé industriel de polissage lui-même et/ou sur la ventilation. Plus spécifiquement, nos travaux de thèse concernent la caractérisation de l’émission et le contrôle à la source de la poussière (fine (PF) et ultrafine (PUF)) émise par polissage à sec du granit qui présente un défi de taille pour la santé et la sécurité des travailleurs. La première partie permet l’étude expérimentale du polissage sur une machine-outil. Elle a pour objectif de comprendre l’émission et la dispersion de poussière lors du polissage dans le but d’optimiser les paramètres de polissage et de réduire les émissions en agissant sur le procédé. La deuxième partie permet une simulation expérimentale de l’émission de poussière soumise à un mouvement de rotation d’un disque simulant le polissage des matériaux. Elle a pour objectif de comprendre le comportement de ces particules dans le sillage rotatif et d’évaluer les moyens de contrôle à la source des émissions. Les résultats montrent que prendre une vitesse de rotation d’environ 1500 tr/min et prendre une vitesse d’avance de 17 mm/s, constitue un bon compromis permettant de minimiser les émissions tout en obtenant un bon état de surface lors de processus de polissage. Il est aussi démontré que la poussière émise lors du polissage contamine de la même façon la proximité que le voisinage de l’outil. Le pic de concentration de poussière générée lors du polissage est détecté pour des diamètres de particule appartenant à PM2,5 (diamètre < 2,5 μm). L’analyse des poussières respirables lors du polissage montre que le taux de quartz dépasse largement la norme réglementaire de 0.1 mg/cm3 (8h/jour - 5j/semaine). Trois dispositifs de réduction de poussière à la source par ventilation locale ont été étudiés : soufflage-aspiration, carter d’aspiration et aspiration intégrée. Ils donnent une bonne efficacité de contrôle (>90%) de l’émission de poussière. La combinaison des paramètres optimisés du procédé de polissage et des dispositifs de réduction à la source peut maximise l’efficacité de la réduction de la poussière. L’originalité de ce travail réside dans l’étude du polissage, des émissions et dispersion des particules, ainsi que la proposition des solutions de réduction à la source. Pour y arriver, nous avons opté pour une approche multidisciplinaire allant de la conception d’outillage, le polissage, la captation à la source et la simulation